нумерически выразимый предикат

нумерически выразимый предикат
Mathematics: numeralwise expressible predicate

Универсальный русско-английский словарь. . 2011.

Игры ⚽ Нужно сделать НИР?

Смотреть что такое "нумерически выразимый предикат" в других словарях:

  • НУМЕРИЧЕСКИ ВЫРАЗИМЫЙ ПРЕДИКАТ — арифметический предикат обладающий по отношению к данной формальной системе S арифметики следующим свойством: существует такая формула в языке арифметики формальной, что для любых натуральных чисел 1) если истинно, то 2)еслиложно, то где означает …   Математическая энциклопедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»